Skip to content

Actions: MiniZinc/minizinc-python

Actions

Python package

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump astral-sh/setup-uv from 5 to 6
Python package #430: Commit 9dc56a1 pushed by Dekker1
April 28, 2025 01:35 1m 45s develop
April 28, 2025 01:35 1m 45s
Accept empty lists on the DZN grammar.
Python package #428: Pull request #198 opened by vitor1001
March 7, 2025 09:24 1m 45s vitor1001:develop
March 7, 2025 09:24 1m 45s
Update version to 0.10.0
Python package #427: Commit 2db41dd pushed by Dekker1
February 25, 2025 03:36 1m 50s develop
February 25, 2025 03:36 1m 50s
Update version to 0.10.0
Python package #426: Pull request #197 synchronize by Dekker1
February 25, 2025 03:33 24s Dekker1:feat/update_version
February 25, 2025 03:33 24s
Update version to 0.10.0
Python package #425: Pull request #197 synchronize by Dekker1
February 25, 2025 03:29 1m 52s Dekker1:feat/update_version
February 25, 2025 03:29 1m 52s
Update version to 0.10.0
Python package #424: Pull request #197 opened by Dekker1
February 25, 2025 03:29 1m 51s Dekker1:feat/update_version
February 25, 2025 03:29 1m 51s
Small improvements in scoping and type assertions
Python package #423: Commit 334a036 pushed by Dekker1
February 25, 2025 03:28 1m 59s develop
February 25, 2025 03:28 1m 59s
Set intermediate_solutions explicitly and other small improvements
Python package #422: Pull request #196 synchronize by Dekker1
February 25, 2025 03:07 1m 47s feat/intermediate_solutions
February 25, 2025 03:07 1m 47s
Set intermediate_solutions explicitly and other small improvements
Python package #421: Pull request #196 synchronize by Dekker1
February 25, 2025 03:06 2m 10s feat/intermediate_solutions
February 25, 2025 03:06 2m 10s
Update change log
Python package #419: Commit 40635e8 pushed by Dekker1
February 25, 2025 00:41 1m 59s develop
February 25, 2025 00:41 1m 59s
Use named pipe to terminate MiniZinc on Windows
Python package #418: Pull request #195 synchronize by Dekker1
February 25, 2025 00:30 2m 45s cyderize:windows_pipe_terminate
February 25, 2025 00:30 2m 45s
Use named pipe to terminate MiniZinc on Windows
Python package #417: Pull request #195 opened by cyderize
February 25, 2025 00:03 2m 30s cyderize:windows_pipe_terminate
February 25, 2025 00:03 2m 30s
Support combining different diversity measures and constraining them …
Python package #416: Commit 45fabec pushed by Dekker1
January 29, 2025 23:26 1m 45s develop
January 29, 2025 23:26 1m 45s
Add support for combining different diversity measures and constraint…
Python package #415: Pull request #189 synchronize by Dekker1
January 29, 2025 23:23 1m 54s ilansen:develop-up
January 29, 2025 23:23 1m 54s
Update formatting and remove unnecessary file
Python package #414: Commit ff0b84f pushed by Dekker1
January 16, 2025 22:42 1m 46s develop
January 16, 2025 22:42 1m 46s
Add support for combining different diversity measures and constraint…
Python package #411: Pull request #189 opened by ilansen
December 20, 2024 03:30 2m 3s ilansen:develop-up
December 20, 2024 03:30 2m 3s
Finding diverse solution for MiniZinc instances (#87)
Python package #410: Commit 0dad82c pushed by Dekker1
December 13, 2024 04:47 1m 49s develop
December 13, 2024 04:47 1m 49s
Finding diverse solution for MiniZinc instances
Python package #408: Pull request #87 synchronize by Dekker1
December 13, 2024 04:27 2m 5s ilansen:develop
December 13, 2024 04:27 2m 5s
Simplify the project management using uv
Python package #407: Commit 33f7deb pushed by Dekker1
December 2, 2024 07:00 2m 22s develop
December 2, 2024 07:00 2m 22s
Simplify the project management using uv
Python package #406: Pull request #186 synchronize by Dekker1
December 2, 2024 06:57 1m 43s feat/uv
December 2, 2024 06:57 1m 43s
Simplify the project management using uv
Python package #405: Pull request #186 synchronize by Dekker1
December 2, 2024 06:56 1m 55s feat/uv
December 2, 2024 06:56 1m 55s